Nuprl Definition : token def
9,38
postcript
pdf
"$token" is Primitive
latex
origin